Property-Based Methods for Collaborative Model Development

Large-scale software projects are often faced with the challenge of enabling the high degree of collaborative and concurrent development required to meet the aggressive delivery schedules while still maintaining a high standard of system correctness and safety. While Model-Driven Engineering (MDE) can be e ective in accelerating development, traditional approaches to addressing the above challenges are designed for code, and are not directly applicable to models. In this paper, we propose a novel approach to addressing the problem of model-based collaborative development using property-based techniques. We illustrate our proposals and outline the challenges to realizing them.